a graphical representation of a program using formal logic
رسمی منطق کا استعمال کرتے ہوئے ایک پروگرام کی گرافیکل نمائندگی